СловникиФорумКонтакти

   Англійська Російська +
Google | Forvo | +

alternating-time temporal logic

наголоси
прогр. логика альтернированного времени (ssn)